($\lambda$$A$,$z$. $\neg$$A$) $\in$ $\mathbb{P}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{P}$